Two basic pure-implicational systems.
نویسندگان
چکیده
منابع مشابه
Canonical Inference for Implicational Systems
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries. We investigate what canonicity means for implicational systems that are axiomatizations of Moore families – or, equivalently, of propositional Horn theories. We build a correspondence between implicational systems an...
متن کاملAn Algorithm for the Class of Pure Implicational Formulas
Heusch introduced the notion of pure implicational formulas. He showed that the falsiiability problem for pure implicational formulas with k negations is solvable in time O(n k). Such falsiiability results are easily transformed to satissability results on CNF formulas. We show that the falsiiability problem for pure implicational formulas is solvable in time O(k k n 2), which is polynomial for...
متن کاملComplexity Results of Subclasses of the Pure Implicational Calculus
About 50 years ago Lukasiewicz, Tarski, see 6, 4] and others studied the implicational calculus, i. e. the set PIF (pure implicational formulas) of those propositional formulas that are constructed exclusively from Boolean variables and the propositional implication ! as the only connective. Obviously this class of formulas is not able to represent all Boolean functions. While every formula in ...
متن کاملAn Intriguing Logic with Two Implicational Connectives
Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the gener...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1979
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882677